|
Handbook of Tableaux Methods
D'Agostino, Marcello; Gabbay, D. M.; Haehnle, R.; Posegga, J.
details >>
|
Kluwer Academic Publishers,
Anno: 1999 |
|
|
|
|
Logica
M., Mondadori; D'Agostino, Marcello
details >>
|
Edizioni Bruno Mondadori,
Sintesi
Anno: 1997 |
|
|
|
|
Investigations into the Complexity of some Propositional calculi
D'Agostino, Marcello
details >>
|
Oxford University, Computing Laboratory,
PRG-Technical al Monographs, 88
pp: 1-131, Anno: 1990 |
|
|
|